Integer programming - PDFSEARCH.IO - Document Search Engine

Integer programming
Results: 382

#	Item
231	Australian Hydrological Geospatial Fabric (Geofabric) Data Dictionary Surface Cartography Version 2.1 – November 2012 Add to Reading List Source URL: www.bom.gov.au Language: English - Date: 2012-11-15 19:59:23 Data types Primitive types Domain name Domain name system Identifiers C++ classes ALGOL 68 Relation Integer Computing Software engineering Programming language theory
232	Adresses English version – SOSI standard 4.0 Adresses English version – SOSI standard 4.0 Adresses Add to Reading List Source URL: kartverket.no Language: English - Date: 2013-01-29 08:07:57 Computing Computer programming C++ Object-oriented programming Subtype polymorphism Type theory Reference String Integer Data types Software engineering Primitive types
233	S/390 ELF Application Binary Interface Supplement S/390 ELF Application Binary Interface Supplement v1.02 Edition Published 18 November 2002 Copyright © 2001, 2002 by IBM Corporation Add to Reading List Source URL: www.uclibc.org Language: English - Date: 2012-05-05 03:48:31 Software engineering Primitive types C++ C programming language Data transmission Endianness Sizeof Integer Pointer Computing Data types Computer programming
234	Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux Programs David Molnar UC Berkeley Xue Cong Li Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Software engineering Valgrind Integer overflow Infinite loop Memory safety Fuzz testing Stack Pointer Symbolic execution Computer programming Software bugs Computing
235	Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-19 09:57:02 Compiler construction Formal languages LL parser Dependency grammar Linear programming Parse tree Conditional random field Combinatory logic Directed graph Mathematics Graph theory Theoretical computer science
236	Bignum Arithmetic Felix von Leitner CCC Berlin [removed] December 2006 Abstract Add to Reading List Source URL: dl.fefe.de Language: English - Date: 2006-12-25 09:51:14 Software engineering Data types C++ Primitive types C programming language Arbitrary-precision arithmetic Sizeof GNU Multiple Precision Arithmetic Library Integer Computing Computer arithmetic Computer programming
237	Package ‘Rsymphony’ February 23, 2015 Version[removed]Title SYMPHONY in R Description An R interface to the SYMPHONY solver for mixed-integer linear programs. License EPL Add to Reading List Source URL: star-www.st-andrews.ac.uk Language: English - Date: 2015-02-23 06:44:43 Numerical analysis Linear programming COIN-OR MPS Cutting-plane method Operations research Mathematical optimization Mathematics
238	SPECIAL INTEGER SEQUENCES CONTROLLED BY THREE PARAMETERS Table .6 k/n Add to Reading List Source URL: www.fq.math.ca Language: English - Date: 2010-07-21 22:19:06 C programming language International Obfuscated C Code Contest Word square Computer programming Computing Software engineering
239	metaSMT: Focus On Your Application Not On Solver Integration Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler Group of Computer Architecture, University of Bremen, Germany Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-02-05 05:31:31 Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Valuation Integer factorization Theoretical computer science Applied mathematics Formal methods
240	Fall[removed]UNIVERSITY OF CALIFORNIA Department of Electrical Engineering and Computer Sciences Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2007-08-24 18:41:19 Computer arithmetic Data types Primitive types Pointer Arbitrary-precision arithmetic Floating point Binary-coded decimal Integer overflow Integer Computing Software engineering Computer programming

UPDATE